大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Galerkin Finite Element Methods for Parabolic Problems [electronic resource]

0
索取号：
作者：Thom茅e、 Vidar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

0
索取号：
作者：Baldoni、 Matteo.、Endriss、 Ulle.、Omicini、 Andrea.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

0
索取号：
作者：Farr茅、 Jacques.、Litovsky、 Igor.、Schmitz、 Sylvain.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号：
作者：Sestoft、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Experimental Robotics IX [electronic resource] : The 9th International Symposium on Experimental Robotics

0
索取号：
作者：Ang、 Marcelo H.、Khatib、 Oussama.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Nonlinear Structural Engineering [electronic resource] : With Unique Theories and Methods to Solve Effectively Complex Nonlinear Problems

0
索取号：
作者：Fertis、 Demeter G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic

0
索取号：
作者：Bollig、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hadron Collider Physics 2005 [electronic resource] : Proceedings of the 1st Hadron Collider Physics Symposium, Les Diablerets, Switzerland, July 4-9, 2005

0
索取号：
作者：Wu、 Xin.、Clark、 Allan.、Campanelli、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Handbook of Partial Least Squares [electronic resource] : Concepts, Methods and Applications

0
索取号：
作者：Esposito Vinzi、 Vincenzo.、Chin、 Wynne W.、Henseler、 J枚rg.、Wang、 Huiwen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Basic Methods for the Biochemical Lab [electronic resource]

0
索取号：
作者：Holtzhauer、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

0
索取号：
作者：Correa、 Jos茅 R.、Hevia、 Alejandro.、Kiwi、 Marcos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Statistical Methods for Biostatistics and Related Fields [electronic resource]

0
索取号：
作者：H盲rdle、 Wolfgang.、Mori、 Yuichi.、Vieu、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

European Robotics Symposium 2006 [electronic resource]

0
索取号：
作者：Christensen、 Henrik I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

0
索取号：
作者：Hill、 Patricia M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Sampling Methods, Remote Sensing and GIS Multiresource Forest Inventory [electronic resource]

0
索取号：
作者：K枚hl、 Michael.、Magnussen、 Steen.、Marchetti、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithmic Applications in Management [electronic resource] : First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings

0
索取号：
作者：Megiddo、 Nimrod.、Xu、 Yinfeng.、Zhu、 Binhai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.